I can get some satisfaction: Fuzzy ontologies for partial agreements in blockchain smart contracts

This paper proposes a novel extension of blockchain systems with fuzzy ontologies. The main advantage is to let the users have flexible restrictions, represented using fuzzy sets, and to develop smart contracts where there is a partial agreement among the involved parts. We propose a general architecture based on four fuzzy ontologies and a process to develop and run the smart contracts, based on a reduction to a well-known fuzzy ontology reasoning task (Best Satisfiability Degree). We also investigate different operators to compute Pareto-optimal solutions and implement our approach in the Ethereum blockchain

Fudge: Fuzzy ontology building with consensuated fuzzy datatypes

An important problem in Fuzzy OWL 2 ontology building is the definition of fuzzy membership functions for real-valued fuzzy sets (so-called fuzzy datatypes in Fuzzy OWL 2 terminology). In this paper, we present a tool, called Fudge, whose aim is to support the consensual creation of fuzzy datatypes by aggregating the specifications given by a group of experts. Fudge is freeware and currently supports several linguistic aggregation strategies, including the convex combination, linguistic OWA, weighted mean and fuzzy OWA, and easily allows to build others in. We also propose and have implemented two novel linguistic aggregation operators, based on a left recursive form of the convex combination and of the linguistic OWA

Surgical treatment of type-II choledochal cyst: a case report

Choledochal cyst is a pathology conditioned by a complex congenital malformation that involves different degrees of dilation of both the common bile duct and the pancreatic duct with a malignant tendency, these are reported more frequently in children, representing 1% of benign diseases of the biliary. Babbitt 's theory is the most frequently proposed theory and states that CCs (choledochal cysts) result from an anomalous pancreatobiliary junction (APBJ) where the pancreatic duct and bile duct connect 1-2 cm proximal to the sphincter of Oddi. In adults, the presentation is usually nonspecific and vague, with abdominal pain being the most common symptom. Surgical resection of cysts can significantly decrease the risk of malignancy and reduce associated complications. However, less attention has been paid to CC in adults, and its surgical parameters have been reported to be frequently controversial. This manuscript describes the clinical case of a Todani II choledochal cyst managed with surgical resection by laparotomy with Roux-en-Y biliodigestive reconstruction, obtaining satisfactory results

Minimalistic fuzzy ontology reasoning: An application to Building Information Modeling

This paper presents a minimalistic reasoning algorithm to solve imprecise instance retrieval in fuzzy ontologies with application to querying Building Information Models (BIMs)—a knowledge representation formalism used in the construction industry. Our proposal is based on a novel lossless reduction of fuzzy to crisp reasoning tasks, which can be processed by any Description Logics reasoner. We implemented the minimalistic reasoning algorithm and performed an empirical evaluation of its performance in several tasks: interoperation with classical reasoners (Hermit and TrOWL), initialization time (comparing TrOWL and a SPARQL engine), and use of different data structures (hash tables, databases, and programming interfaces). We show that our software can efficiently solve very expressive queries not available nowadays in regular or semantic BIMs tools

Classifying Candidate Axioms via Dimensionality Reduction Techniques

We assess the role of similarity measures and learning methods in classifying candidate axioms for automated schema induction through kernel-based learning algorithms. The evaluation is based on (i) three different similarity measures between axioms, and (ii) two alternative dimensionality reduction techniques to check the extent to which the considered similarities allow to separate true axioms from false axioms. The result of the dimensionality reduction process is subsequently fed to several learning algorithms, comparing the accuracy of all combinations of similarity, dimensionality reduction technique, and classification method. As a result, it is observed that it is not necessary to use sophisticated semantics-based similarity measures to obtain accurate predictions, and furthermore that classification performance only marginally depends on the choice of the learning method. Our results open the way to implementing efficient surrogate models for axiom scoring to speed up ontology learning and schema induction methods

OWL2ASP tool

OWL2ASP stands for Ontology Web Language to Answering Set Programming. This Java tool permits translating an OWL 2 ontology to ASP format. The output of that translation is used by the WASP solver to obtain the justifications (MUSes) of a specific consequenceWASP solver link http://alviano.github.io/wasp

OWL2ASP tool

OWL2ASP stands for Ontology Web Language to Answering Set Programming. This Java tool permits translating an OWL 2 ontology to ASP format. The output of that translation is used by the WASP solver to obtain the justifications (MUSes) of a specific consequenceWASP solver link http://alviano.github.io/wasp/THIS DATASET IS ARCHIVED AT DANS/EASY, BUT NOT ACCESSIBLE HERE. TO VIEW A LIST OF FILES AND ACCESS THE FILES IN THIS DATASET CLICK ON THE DOI-LINK ABOV

Active axial stress in mouse aorta

The study verifies the development of active axial stress in the wall of mouse aorta over a range of physiological loads when the smooth muscle cells are stimulated to contract. The results obtained show that the active axial stress is virtually independent of the magnitude of pressure, but depends predominately on the longitudinal stretch ratio. The dependence is non-monotonic and is similar to the active stress-stretch dependence in the circumferential direction reported in the literature. The expression for the active axial stress fitted to the experimental data shows that the maximum active stress is developed at longitudinal stretch ratio 1.81, and 1.56 is the longitudinal stretch ratio below which the stimulation does not generate active stress. The study shows that the magnitude of active axial stress is smaller than the active circumferential stress. There is need for more experimental investigations on the active response of different types of arteries from different species and pathological conditions. The results of these studies can promote building of refined constrictive models in vascular rheology. (C) 2012 Elsevier Ltd. All rights reserved